From computation models to models of provenance: the RWS approach
نویسندگان
چکیده
Scientific workflows often benefit from or even require advanced modeling constructs, e.g., nesting of subworkflows, cycles for executing loops, data-dependent routing, and pipelined execution. In such settings, an often overlooked aspect of provenance takes center stage: A suitable model of provenance (MoP) for scientific workflows should be based upon the underlying model of computation (MoC) used for executing the workflows. We can derive an adequate MoP from a MoC (such as Kahn’s process networks) by taking into account the assumptions that a MoC entails, and by recording the observables which it affords. In this way, a MoP captures or at least better approximates “real” data dependencies for workflows with advanced modeling constructs. As a specific instance, we elaborate on the Read-Write-ReSet (RWS) model, a simple and flexible MoP suitable for a number of different MoCs.
منابع مشابه
Spatial count models on the number of unhealthy days in Tehran
Spatial count data is usually found in most sciences such as environmental science, meteorology, geology and medicine. Spatial generalized linear models based on poisson (poisson-lognormal spatial model) and binomial (binomial-logitnormal spatial model) distributions are often used to analyze discrete count data in which spatial correlation is observed. The likelihood function of these models i...
متن کاملStochastic Models for Pricing Weather Derivatives using Constant Risk Premium
‎Pricing weather derivatives is becoming increasingly useful‎, ‎especially in developing economies‎. ‎We describe a statistical model based approach for pricing weather derivatives by modeling and forecasting daily average temperatures data which exhibits long-range dependence‎. ‎We pre-process the temperature data by filtering for seasonality and volatility an...
متن کاملA New Goal programming approach for cross efficiency evaluation
Cross efficiency evaluation was developed as an extension of DEA. But the traditional DEA models usually have alternative optimal solutions and, as a result, cross efficiency scores may not be unique. It is recommended that without changing the DEA efficiency scores, the secondary goal should be introduced for optimization of the inputs/outputs weights. Several reports evaluated the perfo...
متن کاملAssessment of Turbulent Models in Computation of Strongly Curved Open Channel Flows
Several rigorous turbulent models have been developed in the past years and it can be seen that more research is needed to reach a better understanding of their generality and precision by verifying their applications for distinct hydraulic phenomena; under certain assumptions. This survey evaluates the performance of Standard k-ε, Realizable k-ε, RNG k-ε, k-ω and RSM models in predicting flow ...
متن کاملSemiring Provenance for First-Order Model Checking
Given a first-order sentence, a model-checking computation tests whether the sentence holds true in a given finite structure. Data provenance extracts from this computation an abstraction of the manner in which its result depends on the data items that describe the model. Previous work on provenance was, to a large extent, restricted to the negation-free fragment of first-order logic and showed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Concurrency and Computation: Practice and Experience
دوره 20 شماره
صفحات -
تاریخ انتشار 2008